However, he began to collaborate on work on formal languages from about 1961 onwards. 그러나 그는 언어에 대한 공식적인 업무에 대해 1961 년 이후부터 공동 작업을 시작했다.
The work includes a unifying mathematical presentation of almost all major topics of automata and formal language theory. 작업 오토마타 및 형식 언어 이론의 거의 모든 주요 주제를 통합하는 수학적 프레 젠 테이션이 포함됩니다.